java Logical Programs